Abstract Interpretation – alle Bücher, CDs und LPs

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

lieferbar innerhalb 2-3 Wochen

Buch

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

lieferbar innerhalb 2-3 Wochen

Buch

Everyone's Getting Involved: Stop Making Sense - A Tribute Album

Die Feierlichkeiten zum 40-jährigen Jubiläum eines der besten Konzertfilme aller Zeiten, Talking Heads' »Stop Making Sense«, gehen mit der Veröffentlichung des neuen Tribute-Albums »Everyone's Getting Inv…

Artikel am Lager

CD

Everyone's Getting Involved: Stop Making Sense - A Tribute Album (Big Suit Silver Vinyl)

Die Feierlichkeiten zum 40-jährigen Jubiläum eines der besten Konzertfilme aller Zeiten, Talking Heads' »Stop Making Sense«, gehen mit der Veröffentlichung des neuen Tribute-Albums »Everyone's Getting Inv…

lieferbar innerhalb von 3 Tagen

2 LPs

Will Oldham

Songs Of Love And Horror (Limited-Edition)

Ein besonderes Akustik-Best-of Schauspieler, Songwriter, Folk- und Alternative-Country-Ikone Will Oldham stellt 2018 sein neues Album vor: »Songs Of Love And Horror« ist der Nachfolger seines Coveralbums …

LP

Jack DeJohnette, Larry Grenadier, John Medeski & John Scofield

Hudson

Die langerwartete Vinyl Version des gefeierten Albums mit fantastischen Interpretationen von Stücken von Jimi Hendrix, Joni Mitchell, Bob Dylan, u.a.. Eingespielt von einigen der Titanen des Jazz und das …

Artikel am Lager

CD

Casey MQ

Later That Day, The Day Before, Or The Day (Stormcloud Vinyl)

»Erinnern ist nicht das Gegenteil von Vergessen«, singt Casey MQ zu Beginn von Later that day, the day before, or the day before that, seiner neuen LP und dem Debüt von Ghostly International. Es ist ein S…

lieferbar innerhalb von 3 Tagen

LP

Das Kapital

Vive La France

Saxofonist Daniel Erdmann ist Deutscher, Gitarrist Hasse Poulsen Däne und Drummer Edward Perraud Franzose, doch keiner von ihnen definiert sich über geografische oder nationale Attribute. Die Band der…

lieferbar innerhalb einer Woche

CD

Das Kapital

Vive La France

Saxofonist Daniel Erdmann ist Deutscher, Gitarrist Hasse Poulsen Däne und Drummer Edward Perraud Franzose, doch keiner von ihnen definiert sich über geografische oder nationale Attribute. Die Band der…

lieferbar innerhalb einer Woche

2 LPs

Eliana Glass

E

Der schwüle Ton von Eliana Glass ist nicht zu überhören - sie wechselt zwischen einer unkonventionellen, suchenden Qualität und ihrer ergreifenden, ehrfurchtgebietenden Bandbreite. Auch ihr Klavierspiel b…

Artikel am Lager

LP

Eliana Glass

E

Der schwüle Ton von Eliana Glass ist nicht zu überhören - sie wechselt zwischen einer unkonventionellen, suchenden Qualität und ihrer ergreifenden, ehrfurchtgebietenden Bandbreite. Auch ihr Klavierspiel b…

lieferbar innerhalb von 3 Tagen

CD

Casey MQ

Later That Day, The Day Before, Or The Day Before

»Erinnern ist nicht das Gegenteil von Vergessen«, singt Casey MQ zu Beginn von Later that day, the day before, or the day before that, seiner neuen LP und dem Debüt von Ghostly International. Es ist ein S…

lieferbar innerhalb von 3 Tagen

CD

Burt Bacharach

Make It Easy On Yourself (Limited-Edition)

Dieses Meisterwerk war Bacharachs zweites A&M-Album und zeichnet sich wie sein Vorgänger durch hervorragendes Songwriting aus. Einer der Höhepunkte der Platte ist die großartige Produktion zwischen Bachar…

lieferbar in mind. 4 Wochen

CD

Burt Bacharach

Make It Easy On Yourself (180g) (Limited Edition)

Dieses Meisterwerk war Bacharachs zweites A&M-Album und zeichnet sich wie sein Vorgänger durch hervorragendes Songwriting aus. Einer der Höhepunkte der Platte ist die großartige Produktion zwischen Bachar…

LP

Static Analysis

Lecture Notes in Computer Science - Band 16100

This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully revie…

lieferbar ab 16.11.2025.

Buch

Model Checking Software

Lecture Notes in Computer Science - Band 15945

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

lieferbar ab 8.11.2025.

Buch

Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice

Lecture Notes in Computer Science - Band 15500

This Festschrift is dedicated to Alan Mycroft who formally retired from the University of Cambridge after almost 40 years. Following a BA in Mathematics from the University of Cambridge in 1977, Alan took…

lieferbar ab 20.11.2025.

Buch

The French School of Programming

T he French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors in…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Abstract Interpretation" - alle Bücher, CDs und LPs